An Introduction to PSFd
نویسندگان
چکیده
PSFd (Process Specification Formalism Draft) is a Formal Description Technique developed for specifying concurrent systems. PSFd supports the modular construction of specifications and parameterization of modules. As semantics for PSFd a combination of initial algebra semantics and operational semantics for concurrent processes is used. This report is intended to give a brief introduction to the use of PSF d. Note: This work was sponsored in part by ESPRIT contract hr. 432, Meteor.
منابع مشابه
Analysis of ECG signal by chaos principle to help automatic diagnosis of myocardial infarction
Introduction Cardiovascular disease is a major cause of premature dying. If any patient is diagnosed at early stage of cardiovascular disease [(myocardial infarction (MI)], it may be possible to reverse disease process. Functional behavior of heart is represented by electrocardiogram (ECG), signals of which are quasiperiodic (Fig. 1). Various transform techniques (Fourier, wavelet etc.) are ine...
متن کاملCoresidence With Elderly Parents: A Comparative Study of Southeast China and Taiwan.
Using recent survey data from the Panel Study of Family Dynamics (PSFD) on 1,655 married persons born in 1964-1976 in southeastern China and Taiwan, we studied coresidence with elderly parents using a multinomial probit model for coresidence type and an ordered probit model for residential distance. The study yielded four findings: (a) Patrilocal coresidence was more prevalent in Taiwan than in...
متن کاملA high-accuracy pseudospectral full-vectorial leaky optical waveguide mode solver with carefully implemented UPML absorbing boundary conditions.
The previously developed full-vectorial optical waveguide eigenmode solvers using pseudospectral frequency-domain (PSFD) formulations for optical waveguides with arbitrary step-index profile is further implemented with the uniaxial perfectly matched layer (UPML) absorption boundary conditions for treating leaky waveguides and calculating their complex modal effective indices. The role of the UP...
متن کاملAN INTRODUCTION TO THE THEORY OF DIFFERENTIABLE STRUCTURES ON INFINITE INTEGRAL DOMAINS
A special class of differentiable functions on an infinite integral domain which is not a field is introduced. Some facts about these functions are established and the special case of z is studied in more detail
متن کامل